#include "text.h"

void printf_x(int x)
{
    printf("%d",x);
}